Fugue et variation sur un même thème

Variations sur un THème de Aldama et Shelah

We study the definability of certain subgroups of a group G that does not have the independence property. If a (type) definable subset X of an elementary extension G of G has property P , we call its trace X∩G over G an externally (type) definable P set. We show the following. Centralisers of subsets of G are externally definable subgroups. Cores of externally definable subgroups and iterated c...

Spécialisation et sous-typage : thème et variations

Class specialization is the most original feature of object orientation, but identifying it to subtyping leads to the well known covariance-contravariance controversy. Type safety requires contravariance while specialization needs covariance. This paper aims to precisely analyse this problem, to show how irreductible it is and the need for type errors. We show that many alternatives as multiple...

Sur un nouveau vaccin contre la septicémie hémorragique des Bovidés et le Barbone des Buffles (pasteurelloses)

Recherches sur l'immunisation anticlaveleuse. 1- Sur la vaccination en un seul temps contre la clavelee et la fievre charbonneuse, avec des antigenes vivants, associes et stabilises

Sur un nouvel invariant des graphes et un critère de planarité

Un graphe lini est dit planaire si on peut le dessiner dans le plan saris que les a&es se recoupent. Un probleme bien nature1 et rtsolu par Kuratowski [KI] est de trouver une caracterisation des graphes planaires. On pourra ausi a ce sujet consulter les monographies [BE, WE, TE] . 11 se trouve que les mtthodes developpees dans nos articles precedents [C-C, [CV,], G ig4] permettent d’exhiber un ...